From 290cfc92665b9e8a16f2d44ece43a17d7caaed0e Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Fri, 27 Jul 2007 08:09:56 +0000 Subject: [PATCH] (EMACSSOURCES): Add gpl.texi. --- man/Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/man/Makefile.in b/man/Makefile.in index f52ac990b7c..00088b74b51 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -76,6 +76,7 @@ EMACS_XTRA=\ EMACSSOURCES= \ ${srcdir}/emacs.texi \ ${srcdir}/doclicense.texi \ + ${srcdir}/gpl.texi \ ${srcdir}/screen.texi \ ${srcdir}/commands.texi \ ${srcdir}/entering.texi \ -- 2.30.2